Перевод: со всех языков на английский

с английского на все языки

that cannot be proved

См. также в других словарях:

  • Proof that the sum of the reciprocals of the primes diverges — In the third century BC, Euclid proved the existence of infinitely many prime numbers. In the 18th century, Leonhard Euler proved a stronger statement: the sum of the reciprocals of all prime numbers diverges. Here, we present a number of proofs… …   Wikipedia

  • Christianity — /kris chee an i tee/, n., pl. Christianities. 1. the Christian religion, including the Catholic, Protestant, and Eastern Orthodox churches. 2. Christian beliefs or practices; Christian quality or character: Christianity mixed with pagan elements; …   Universalium

  • Constraint logic programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing …   Wikipedia

  • Gödel, Kurt — born April 28, 1906, Brünn, Austria Hungary died Jan. 14, 1978, Princeton, N.J., U.S. Austrian born U.S. mathematician and logician. He began his career on the faculty of the University of Vienna, where he produced his groundbreaking proof (see… …   Universalium

  • History of mathematics — A proof from Euclid s Elements, widely considered the most influential textbook of all time.[1] …   Wikipedia

  • Gödel , Kurt — (1906–1978) Austrian–American mathematician Born in Brünn (now Brno in the Czech Republic), Gödel initially studied physics at the University of Vienna, but his interest soon turned to mathematics and mathematical logic. He obtained his PhD in… …   Scientists

  • Concurrent constraint logic programming — is a version of constraint logic programming aimed primarily at programming concurrent processes rather than (or in addition to) solving constraint satisfaction problems. Goals in constraint logic programming are evaluated concurrently; a… …   Wikipedia

  • Constantine the Great — • Information on the Roman emperor Catholic Encyclopedia. Kevin Knight. 2006. Constantine the Great     Constantine the Great     † …   Catholic encyclopedia

  • Lord of the Isles — The designation Lord of the Isles ( gd. Triath nan Eilean or Rí Innse Gall), now a Scottish title of nobility, emerged from a series of hybrid Viking/Gaelic rulers of the west coast and islands of Scotland in the Middle Ages, who wielded sea… …   Wikipedia

  • Apologetics — • A theological science which has for its purpose the explanation and defence of the Christian religion Catholic Encyclopedia. Kevin Knight. 2006. Apologetics     Apologetics      …   Catholic encyclopedia

  • Leonard Susskind — Born 1940 …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»